Anwendungsfach Informatik

ModuleLV TypeCPLVDatesExamination
Advanced Automata TheoryFach-/Modulprüfung7452625
Advanced Statistical ClassificationFach-/Modulprüfung7454160
Computer VisionFach-/Modulprüfung7450858
Vorlesung/Übung447211Mo 10:30-12:00 Grüner Hörsaal AM (Gr) (1420|001) (×12)
Do 10:30-12:00 AH II (2350|111) (×1)
Do 10:30-12:00 TEMP1 (1515|001) (×11)
Data-Driven Methods for 3D Shape AnalysisFach-/Modulprüfung7454394
Vorlesung449301Di 14:30-16:00 AH VI (2356|051) (×14)
Do 14:30-16:00 AH VI (2356|051) (×12)
Übung449302Mi 16:30-18:00 AH VI (2356|051) (×13)
Effiziente AlgorithmenFach-/Modulprüfung7455987
Vorlesung455727Mi 15:00-17:00 AH V (2356|050) (×1)
Do 14:30-16:00 AH V (2356|050) (×9)
Fr 10:30-12:00 AH V (2356|050) (×7)
Fr 11:00-12:30 Seminarraum i1, Raum 4017 (2353|017) (×1)
Tutorium455728Mo 14:30-16:00 AH IV (2354|030) (×9)
Eingebettete SystemeFach-/Modulprüfung7453162
Vorlesung/Übung449609Mo 16:30-18:00 AH III (2350|314.1) (×10)
Di 14:30-16:00 AH III (2350|314.1) (×13)
Vorlesung/Übung450568Mo 14:30-16:00 AH III (2350|314.1) (×11)
Mi 12:30-14:00 AH III (2350|314.1) (×13)
Fixpoints and Induction in Logic and Computer ScienceFach-/Modulprüfung7468643
Vorlesung455732Mi 10:30-12:00 5056 (2356|056) (×13)
Do 08:30-10:00 5056 (2356|056) (×5)
Übung455741Mi 16:30-18:00 5054 (2356|054) (×9)
Funktionale ProgrammierungFach-/Modulprüfung7453151
GeometrieverarbeitungFach-/Modulprüfung7453728
Vorlesung448685Mi 10:30-12:00 AH V (2356|050) (×14)
Fr 10:30-12:00 AH VI (2356|051) (×12)
Übung449088Fr 12:30-14:00 AH I (2350|028) (×12)
Fr 12:30-14:00 HKW 1 (1132|203) (×1)
Infinite Computations and GamesFach-/Modulprüfung7454588
LogikprogrammierungFach-/Modulprüfung7452059
Vorlesung454728Di 16:30-18:00 AH III (2350|314.1) (×11)
Mi 16:30-18:00 AH IV (2354|030) (×2)
Fr 12:30-14:00 AH III (2350|314.1) (×11)
Übung454727Di 16:30-18:00 AH III (2350|314.1) (×2)
Mi 09:00-13:00 AH III (2350|314.1) (×1)
Mi 09:30-12:30 5055 (2356|055) (×1)
Mi 16:30-18:00 AH IV (2354|030) (×8)
Do 09:00-18:00 5055 (2356|055) (×1)
Fr 12:30-14:00 AH III (2350|314.1) (×1)
Model CheckingFach-/Modulprüfung7455274
Vorlesung455138Mo 10:30-12:00 AH II (2350|111) (×12)
Mo 14:00-16:00 5055 (2356|055) (×1)
Do 12:30-14:00 AH II (2350|111) (×9)
Übung455137Mo 10:30-12:00 AH II (2350|111) (×1)
Mi 16:30-18:00 AH V (2356|050) (×10)
RekursionstheorieFach-/Modulprüfung7454405
Software-ArchitekturenFach-/Modulprüfung7451287
Übung448867Mi 14:30-16:00 AH VI (2356|051) (×6)
Mi 14:45-17:00 9U10 (2359|U112) (×1)
Mi 15:00-17:30 9U10 (2359|U112) (×1)
Statistische Klassifikation und Maschinelles LernenFach-/Modulprüfung7454403
Statistische Methoden zur Verarbeitung natürlicher SpracheFach-/Modulprüfung8451230
The Graph Isomorphism ProblemFach-/Modulprüfung7452835
WissensrepräsentationFach-/Modulprüfung7453322
Vorlesung/Übung455352Mo 08:30-10:00 AH II (2350|111) (×12)
Di 08:30-10:00 AH II (2350|111) (×13)
Fr 16:30-18:00 AH I (2350|028) (×11)
Fr 16:30-18:00 AH III (2350|314.1) (×1)